#unspecified
#unspecified
#unspecified
#unspecified

================ (22) derive RAI ==============
(Processing:  (A1L Justin A2LL admired LI A3LR somebody))

-------------------
edge      : 723 A1L Justin A2LL admired LI A3LR somebody	(0 7)	((((e \ t) / e) \2 (e \1 t)) /3 (t / (e \ t))) 
semantics : (^ r (^ r1 (^ r2 (r (^ r3 ((r1 r3) r2))))))
proofnet  : ((((((1 . e) \ (2 . t)) / (3 . e)) \2 ((1 . e) \1 (4 . t))) /3 ((5 . t) / ((6 . e) \ (7 . t)))) (A1L ((((1 . e) \1 (4 . t)) // ((1 . e) \\ (4 . t))) / (1 . e))) (Justin (1 . e)) (A2LL ((((((1 . e) \ (2 . t)) / (3 . e)) \2 ((1 . e) \1 (4 . t))) // ((((1 . e) \ (2 . t)) / (3 . e)) \\ ((1 . e) \1 (4 . t)))) / (((1 . e) \ (2 . t)) / (3 . e)))) (admired (((1 . e) \ (2 . t)) / (3 . e))) (LI (((4 . t) // ((3 . e) \\ (2 . t))) / ((5 . t) / ((6 . e) \ (7 . t))))) (A3LR (((((((1 . e) \ (2 . t)) / (3 . e)) \2 ((1 . e) \1 (4 . t))) /3 ((5 . t) / ((6 . e) \ (7 . t)))) // (((5 . t) / ((6 . e) \ (7 . t))) \\ ((((1 . e) \ (2 . t)) / (3 . e)) \2 ((1 . e) \1 (4 . t))))) / ((5 . t) / ((6 . e) \ (7 . t))))) (somebody ((5 . t) / ((6 . e) \ (7 . t)))))
derivation: ((D (U D)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (A1L Justin))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2LL admired)))) ((Z (U LI)) (A3LR somebody))))))
1011 edges -- Done parsing.
#<output_port:stdout>

============= Check equivalence  ==============
============= Derivation with RAI on ordinary quantifier =============
(Processing:  (Justin admired RAI somebody))

-------------------
edge      : 78 Justin admired RAI somebody	(0 4)	t 
semantics : (exists x (person x) & (admire j x))
proofnet  : ((1 . t) (Justin (2 . e)) (admired (((3 . e) \ (4 . t)) / (5 . e))) (RAI (((((3 . e) \ (4 . t)) / (5 . e)) \ ((2 . e) \ (1 . t))) / ((6 . t) / ((7 . e) \ (8 . t))))) (somebody ((6 . t) / ((7 . e) \ (8 . t)))))
derivation: ((L Justin) (admired (RAI somebody)))
186 edges -- Done parsing.
#<output_port:stdout>

======== Derivation with LI lifting ordinary quantifier to continuation quantifier  ==============
(Processing:  (Justin admired LI somebody))

-------------------
edge      : 177 Justin admired LI somebody	(0 4)	t 
semantics : (exists x (person x) & (admire j x))
proofnet  : ((1 . t) (Justin (2 . e)) (admired (((2 . e) \ (3 . t)) / (4 . e))) (LI (((1 . t) // ((4 . e) \\ (3 . t))) / ((5 . t) / ((6 . e) \ (7 . t))))) (somebody ((5 . t) / ((6 . e) \ (7 . t)))))
derivation: ((D (U D)) ((Z (U (L Justin))) ((Z (U admired)) (LI somebody))))
284 edges -- Done parsing.
#<output_port:stdout>
